太平油田馆陶组下段辫状河储层地震反射假象分析

太平油田位于义和庄凸起北坡东部，主要含油层为馆陶组下段发育的辫状河储层。河流相频繁的决口、改道及辫状河流相砂体发育位置和砂体空间配置关系的特殊性，使得其在地震剖面上产生了反射假象，从而使对辫状河储层层位的追踪及砂体的描述变得异常困难。从馆陶组下段辫状河储层的发育特征及地震观测因素出发，阐述了馆陶组下段辫状河地震反射假象产生的原因。提出了利用地震资料分频解释技术和设计多井约束反演可较为准确地识别辫状河储层的反射假象。     

现场总线控制系统中GPS精确校时的实现

针对现场总线控制系统精确校时和时间统一的要求,提出了3种利用GPS授时功能对总线式系统进行校时的方案.以GPSDEC授时型接收机为例,其校时可通过RS-232接口端ASCII码信息和DCF77信号、及输出端自定义脉冲信号实现.开放性要求高的大中型总线网络及通用的智能设备,当总线系统中的通讯协议具有时钟功能时,可采用广播式校时法对设备逐个校时.顺序式校时主要针对下层智能设备种类较多的大型总线系统内的前置通讯,并按通讯机的先后依次校时.对时间精度要求较高且下层智能仪表具有时钟同步信号接口的小型总线系统,宜采用单点式校时.     

Theoretical Investigation of Time Suboptimal Control of Industrial Manipulators Along Specified Paths

A method for the time suboptimal control of an industrial manipulator from an initial position and orientation to a final position and orientation as it moves along a specified path is proposed. Nonlinear system equations that describe the manipulator motion are linearized at each time step along the path. A method which gives the control inputs (joint angular velocities) for time suboptimal control of the manipulator is developed. In the formulation, joint angular velocity and acceleration limitations are also taken into consideration. A six degree of freedom elbow type manipulator is used in numerical examples to verify the method developed.     

对增量CRL应用的一些研究

本文对PKIX依从系统中增量CRLs的应用进行了一些研究，包括：增量CRL的时间跨度对性能的影响及其最优选择；基于完全CRL与增量CRL检查证书状态以及构造新的完全CRL的算法。     

Decision support for AIDS control programmes in Eastern Africa

The Acquired Immune Deficiency Syndrome (AIDS) constitutes the worst hazard to health care systems in Eastern Africa. Misallocation of scarce resources of AIDS Control Programmes will unavoidably lead to additional infections and casualties. The following paper discusses a system dynamics model which allows to assess the impact of different interventions on a pattern population in Eastern Africa. It becomes obvious that short- and long-term consequences of these programmes differ significantly. The optimal allocation of resources, therefore, is highly complex and calls for decision support systems to sustain AIDS control programmes.     

New Tractable Classes From Old

The constraint satisfaction problem is known to be NP-hard in general, but a number of restrictions of the problem have been identified over the years which ensure tractability. This paper introduces two simple methods of combining two or more tractable classes over disjoint domains, in order to synthesise larger, more expressive tractable classes. We demonstrate that the classes so obtained are genuinely novel, and have not been previously identified. In addition, we use algebraic techniques to extend the tractable classes which we identify, and to show that the algorithms for solving these extended classes can be less than obvious.     

几何设计约束的表示与满足问题研究

对于智能ＣＡＤ系统来说，具有解决几何设计约束的功能是重要的。本文提出了一种面向对象的几何设计约束表示方法，它可以通过两种方式来表达。文中给出了一个约束传播算法，用于解决约束满足问题。     

Constraint Databases: Promising Technology or Just Intellectual Exercise?

This paper describes the state of Constraint Databases (CDBs), a young discipline at the intersection of Database Management, Constraint Programming, Computational Geometry and Operations Research. As in Constraint Logic Programming, constraints in CDBs are a first class data type, and can play many modeling roles including spatial and temporal behavior, complex design requirements, and partial and incomplete information, for which existing databases have proven inadequate. We motivate the importance of CDBs, outline the work in the area that has been done, the current trends, and future directions and challenges. We briefly discuss (1) constraint modeling, canonical forms and algebras, (2) data models and query languages, (3) indexing and approximation-based filtering, (4) constraint algebra algorithms and global optimization, and (5) systems and case studies. We argue that CDBs are a promising technology that will impact many important application realms, and furthermore have the potential to be integrated into future database systems, and operations research and constraint programming tools.     

Effects of crack size and weld metal mismatch on the has cleavage toughness of wide plates

The heat affect zone (HAZ) is in many cases considered to be the most critical part of a weldment. In this paper, the effect of crack size and weld metal mismatch on the HAZ cleavage toughness of wide plate specimens with X-groove has been investigated by the J-Q-M theories and a simple micromechanism for cleavage fracture. Two crack sizes have been studied (a/w = 0.1 and 0.3). In the analyses, the HAZ yield strength is assumed to be higher than the base metal. For each crack size, weld metal local overmatch and local evenmatch with respect to the HAZ are considered. For a given global strain, the results indicate that weld metal overmatch and evenmatch yield the same crack tip loading in terms of J-integral for a/w = 0.3. For a/w = 0.1, overmatch gives lower crack tip loading than evenmatch. For a given crack tip loading, weld metal local evenmatch in general results in less effective crack tip loading than the overmatch. Overmatch is detrimental to HAZ toughness, but this detrimental effect becomes less significant when the crack size decreases.     

Space-time finite elements for a simplified thermo-metallurgical problem relevant to casting

The non-linear thermo-metallurgical problem, relevant for the cooling of a molten metal including the macro-segregation that occurs during the cooling process, is studied here. Due to the strong non-linearities involved in phase transformations, it is necessary to use a fine resolution in space-time in a finite element approximation in order to meet accuracy requirements. We derive space-time FE-methods based on the discontinuous and continuous Galerkin method in time for the energy equation. This formulation integrates the stored energy exactly for a given heat flux. When macro-segregation is incorporated into the model, the problem can be formulated in such a way that the phase-transition drives a flow of species. In addition, diffusion is possible throughout the domain. The model can be further rewritten using a potential approach. By this approach for modelling macro-segregation, we are able to obtain discretizations that guarantee that the balance equations are satisfied, and it is possible to solve the phase-transition problem either as a field problem or as a local problem (defined by a local evolution rule).